31![Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR Formal Methods in System Design 15, 7–c 1999 Kluwer Academic Publishers. Manufactured in The Netherlands. ° Reactive Modules∗ RAJEEV ALUR](https://www.pdfsearch.io/img/cec2ffb5f295f33d7e0885483a7e9632.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-03-05 17:26:28
|
---|
32![FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania](https://www.pdfsearch.io/img/1f3410ae5beb8079e1493c61b31d5c80.jpg) | Add to Reading ListSource URL: users.dcc.uchile.clLanguage: English - Date: 2010-11-02 16:08:26
|
---|
33![Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi](https://www.pdfsearch.io/img/e1be6722d39db7df3aacaedc8123bdcf.jpg) | Add to Reading ListSource URL: sygus.seas.upenn.eduLanguage: English - Date: 2015-01-10 00:32:21
|
---|
34![Automated Grading of DFA Constructions ∗ Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science Automated Grading of DFA Constructions ∗ Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science](https://www.pdfsearch.io/img/7120ce0a8762cda77fdad88297ca7dbf.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2013-04-29 09:04:51
|
---|
35![Representation Dependence Testing using Program Inversion Aditya Kanade Rajeev Alur Representation Dependence Testing using Program Inversion Aditya Kanade Rajeev Alur](https://www.pdfsearch.io/img/2337f3d68ead4d990370e444ac9171ed.jpg) | Add to Reading ListSource URL: www.cis.upenn.edu- Date: 2010-06-28 09:40:09
|
---|
36![Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models Rajeev Alur Aditya Kanade Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models Rajeev Alur Aditya Kanade](https://www.pdfsearch.io/img/a923401af80cb464939b5bc262e35b6f.jpg) | Add to Reading ListSource URL: www.cis.upenn.edu- Date: 2008-08-04 09:57:56
|
---|
37![Quantifying the gap between embedded control models and time-triggered implementations Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur University of Pennsylvania Philadelphia, PAUSA {hakan,agirard,pap Quantifying the gap between embedded control models and time-triggered implementations Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur University of Pennsylvania Philadelphia, PAUSA {hakan,agirard,pap](https://www.pdfsearch.io/img/62e0d912bf06a6406a9c1fcc4dbf0cf0.jpg) | Add to Reading ListSource URL: www.cis.upenn.edu- Date: 2006-06-22 11:47:17
|
---|
38![130 Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin 130 Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement Sebastian Burckhardt, Rajeev Alur, and Milo M.K. Martin](https://www.pdfsearch.io/img/ea25e56272b5ec95e7105cb1b7ab6ec5.jpg) | Add to Reading ListSource URL: www.cis.upenn.edu- Date: 2006-06-22 11:47:09
|
---|
39![Regular Specifications of Resource Requirements for Embedded Control Software Rajeev Alur and Gera Weiss University of Pennsylvania Abstract Regular Specifications of Resource Requirements for Embedded Control Software Rajeev Alur and Gera Weiss University of Pennsylvania Abstract](https://www.pdfsearch.io/img/a0302be8fc6e249f3bd0cfa8ae188f9a.jpg) | Add to Reading ListSource URL: www.cis.upenn.edu- Date: 2008-02-06 11:42:39
|
---|
40![A Model-Based Approach to Integrating Security Policies for Embedded Devices Michael McDougall Rajeev Alur A Model-Based Approach to Integrating Security Policies for Embedded Devices Michael McDougall Rajeev Alur](https://www.pdfsearch.io/img/82dc7064a27b10647a9c8eefecdb6407.jpg) | Add to Reading ListSource URL: www.cis.upenn.edu- Date: 2006-06-22 11:47:26
|
---|